Περιεχόμενα: Στοιχεία Λογικής & Θεωρίας Συνόλων: προτασιακή λογική, στοιχεία πρωτοβάθμιας λογικής, σύνολα, πράξεις συνόλων, πεπερασμένα και άπειρα σύνολα, πεπερασμένοι και άπειροι πληθάριθμοι. Τεχνικές Αποδείξεων: μαθηματική επαγωγή (καθώς και πλήρης επαγωγή, αρχή ελαχίστου στοιχείου), διαγωνιοποίηση, εις άτοπον απαγωγή. Σχέσεις και Συναρτήσεις: καρτεσιανό γινόμενο, διμελείς και n-μελείς σχέσεις, συναρτήσεις, μερικές διατάξεις και δικτυωτά, σχέσεις ισοδυναμίας και διαμερίσεις συνόλων, σχέσεις ισοτιμίας. Βασική Συνδυαστική: κανόνες αθροίσματος και γινομένου, διατάξεις-συνδυασμοί και οι επαναληπτικές εκδοχές τους, κατανομή σφαιρών σε κουτιά, αρχή εγκλεισμού-αποκλεισμού, αρχή του περιστερώνα, ειδικές ακολουθίες αριθμών. Στοιχεία Θεωρίας Γραφημάτων: βασικοί ορισμοί και εφαρμογές, πολυγραφήματα και βεβαρυμένα γραφήματα, μονοπάτια και κυκλώματα, γραφήματα Euler & Hamilton, επίπεδα γραφήματα, χρωματισμοί γραφημάτων, θεωρία ταιριάσματος (matching), στοιχεία θεωρίας Ramsey. Δένδρα: δένδρα και δένδρα με ρίζα, ποσοτικά στοιχεία και βασικά θεωρήματα. Δένδρα Δυαδικής Αναζήτησης. Εφαρμογή: προθεματικοί κώδικες, δένδρα Huffman. Στοιχεία Θεωρίας Αριθμών και Στοιχεία Ανάλυσης Αλγορίθμων, αναλόγως της προόδου του μαθήματος.

Αξιολόγηση: Γραπτή εξέταση (70%) στο τέλος του εξαμήνου και εργασίες (30%), όπου τα ποσοστά δύναται να μεταβάλλονται έως και ±10%.

Μέθοδοι αξιολόγησης: Ερωτήσεις σύντομης απάντησης, Ερωτήσεις πολλαπλής επιλογής, Επίλυση προβλημάτων.

https://eclass.uop.gr/courses/1448/

Βιβλιογραφία:

1. K. Rosen, Διακριτά μαθηματικά και εφαρμογές τους, 8η έκδοση, Τζιόλα, 2018. Κωδικός στον Εύδοξο: 77106820
2. S. Epp, Διακριτά Μαθηματικά με εφαρμογές, 3η έκδοση, Κλειδάριθμος, 2010. Κωδικός στον Εύδοξο: 13953